1. <A> Roadmap for Formal Property Verification
پدیدآورنده : \ by Pallab Dasgupta
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Integrated circuits -- Verification,مدار‌های مجتمع -- راستی‌آزمایی
رده :
E-Book
,
2. A Wide-Range Input Auxiliary Power Supply Based on Series-Connected SiC MOSFETs for Modular Multi-Level Converter
پدیدآورنده : Saeed, Muhammad A.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electrical engineering
3. A Wide-Range Input Auxiliary Power Supply Based on Series-Connected SiC MOSFETs for Modular Multi-Level Converter
پدیدآورنده : Saeed, Muhammad A.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electrical engineering
4. A roadmap for formal property verification
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Integrated circuits ; Verification. ;
5. ASIC and EPGA verification: a guide to component modeling
پدیدآورنده : Munden, Richard
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Application specific integrated circuits,، Field programmable gate arrays
رده :
TK
7874
.
6
.
M85
2005
6. ASIC and FPGA Verification
پدیدآورنده : \ Richard Munden
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Application specific integrated circuits,مدار مجتمع کاربرد - ویژه
رده :
E-Book
,
7. ASIC and FPGA verification
پدیدآورنده : / Richard Munden
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Application specific integrated circuits
رده :
E-BOOK
8. ASIC and FPGA verification
پدیدآورنده : / Richard Munden
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Application specific integrated circuits
رده :
TK7874
.
6
.
M86
2005
9. ASIC and FPGA verification
پدیدآورنده : / Richard Munden
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Application specific integrated circuits
رده :
TK7874
.
6
.
M86
2005
10. ASIC and FPGA verification
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Application specific integrated circuits. ;
11. ASIC and FPGA verification: a guide to component modeling
پدیدآورنده : Munden, Richard
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Application specific integrated circuits
رده :
TK
7874
.
M86
12. ASIC and FPGA verification : a guide to component modeling
پدیدآورنده : Munden, Richard
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Application specific integrated circuits
رده :
TK
7874
.
6
.
M96A8
13. ASIC and FPGA verification: a guide to component modeling
پدیدآورنده : Munden, Richard
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Application specific integrated circuits
رده :
TK
7874
.
6
.
M86
2005
14. Abstraction refinement for large scale model checking
پدیدآورنده : Wang, Chao
کتابخانه: (Semnan)
موضوع : Verification Mathematical models ، Computer systems,Verification Mathematical models ، Integrated circuits,Verification Mathematical models ، Electronic systems
رده :
QA
76
.
76
.
V47W36
2006
15. Advanced Information Processing :
پدیدآورنده : edited by Heinz Schwärtzel, Igor A. Mizin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware.,Computer science.,Software engineering.
رده :
QA75
.
5
E358
1990
16. Advanced techniques in logic synthesis, optimizations and application
پدیدآورنده : / Sunil P. Khatri, Kanupriya Gulati, editors
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic design,Electronic books
رده :
TK7888
.
4
.
A38
2011
17. Advanced verification techniques
پدیدآورنده : / by Leena Singh, Leonard Drucker, Neyaz Khann
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Integrated circuits , Verification,Electronic books. , local
رده :
E-BOOK
18. Analog circuit desig
پدیدآورنده :
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Linear integrated circuits - Design and construction,Electronic circuit design
رده :
TK7874
.
654
.
W67
2005
19. Analog circuit design
پدیدآورنده : / edited by Michiel Steyaert, Arthur H.M. van Roermund, Johan H. Huijsing
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Linear integrated circuit--Design and construction,Electronic circuit design,Analog circuit desig
رده :
E-BOOK
20. Analog circuit design: RF circuits: wide band, front-ends, DACs, design methodology and verification for RF and mixed-signal systems, low power and low voltage
پدیدآورنده : edited by Michiel Steyaert, Arthur H.M. van Roermund, Johan H. Huijsing
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Design and construction ، Linear integrated circuits,، Electronic circuit design
رده :
TK
7874
.
654
.
W67
2005
